In relevant logics, necessary truths need not imply each other. In justification logic, necessary truths need not all be justified by the same reason. There is an affinity to these two approaches that suggests their pairing will provide good logics for tracking reasons in a fine-grained way. In this paper, I will show how to extend relevant logics with some of the basic operators of justification logic in order to track justifications or reasons. I will define and study three kinds (...) of frames for these logics. For the first kind of frame, I show soundness and highlight a difficulty in proving completeness. This motivates two alternative kinds of frames, with respect to which completeness results are obtained. Axioms to strengthen the justification logic portions of these logics are considered. I close by developing an analogy between the dot operator of justification logic and theory fusion in relevant logics. (shrink)

One of the many claims about the value of local food is that local food exchanges generate trust between producers and consumers. To what degree is this actually the case and how does such trust develop? Drawing on interview and fieldwork data in one local food system in the Northeastern U.S., I show how local food participants build trust and reciprocity with one another in order to mitigate the challenges imposed by the conventional system. This trust and reciprocity builds primarily (...) through three mechanisms: reliable, positive relationships; demonstrations of good will toward one another; and a shared understanding of the value of locally-oriented food. Through these mechanisms, local food operators are able to build a healthy, stable local food system, able to better resist the pressures of the conventional system in which it must continually operate. (shrink)

Various theorists have endorsed the “communication argument”: communicative capacities are necessary for morally responsible agency because blame aims at a distinctive kind of moral communication. I contend that existing versions of the argument, including those defended by Gary Watson and Coleen Macnamara, face a pluralist challenge: they do not seem to sit well with the plausible view that blame has multiple aims. I then examine three possible rejoinders to the challenge, suggesting that a context-specific, function-based approach constitutes the most promising (...) modification of the communication argument. (shrink)

Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a justification logic where justification is closed under FDE consequence. We (...) show the resulting logic to be sound and complete. Lastly, we discuss how the closure of justification under FDE ontrasts closure under related non-classical logics and how our approach contrasts with some alternatives. (shrink)

As local food activities expand and grow, an important question to answer is how various participants contribute to a local food system’s overall vitality and strength. This paper does so by focusing on the relationships between locally-oriented farm and retail actors and assessing what the configuration of these relationships tells us about the workings of the broader local food system. Such an analysis reveals two things. Empirically, it shows the important role food retailers play in the overall vibrancy of local (...) food exchanges: food retailers form crucial links holding the broader system together and significantly expanding consumer access to local foods. Further, different retailer types have distinct impacts on network configurations, each serving particular roles in the development and maintenance of local food systems. Methodologically, this paper shows the value of applying social network analysis techniques to the study of local food systems: such an approach yields insights that may not be as readily assessable from other strategies. In this paper, I overview common network analysis techniques and apply them to a case study of local food activities in New England, suggesting how such an approach might be applied to local food systems in other places. (shrink)

This paper addresses the question of how local can be defined in practice. It contributes to the growing literature on local food systems and particularly our understanding of what counts as local and the elements that influence those contours. While most of our conceptions of local food tend to rely on an articulation of either proximity traveled or relationship between entities, I argue that a more nuanced and complete understanding must take account of both of these aspects. I draw on (...) a dataset of locally oriented farm and food-related establishments in southern New England to identify how far local food travels in this region and how interconnected local food establishments are with one another and use these and other measures to tease out the tension between proximity and relationship as measures of local. I find that these two aspects not only are connected to each other in a complex dynamic, but also are bound up with other structural factors as well. (shrink)

Worries about mental causation are prominent in contemporary discussions of the mind and human agency. Originally, the problem of mental causation was that of understanding how a mental substance (thought to be immaterial) could interact with a material substance, a body. Most philosophers nowadays repudiate immaterial minds, but the problem of mental causation has not gone away. Instead, focus has shifted to mental properties. How could mental properties be causally relevant to bodily behavior? How could something mental qua mental cause (...) what it does? After looking at the traditional Problem of Interaction, we survey various versions of the property-based problem and look at proposed solutions to them. (shrink)

In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...) conception of necessity on the one hand, and the axiomatic conception on the other: The latter is consistent with motivations for relevant logics while the former is not. For the committed relevant logician, necessity cannot be the truth in all possible worlds. (shrink)

We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \. We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.

One of the many claims about the value of local food is that local food exchanges generate trust between producers and consumers. To what degree is this actually the case and how does such trust develop? Drawing on interview and fieldwork data in one local food system in the Northeastern U.S., I show how local food participants build trust and reciprocity with one another in order to mitigate the challenges imposed by the conventional system. This trust and reciprocity builds primarily (...) through three mechanisms: reliable, positive relationships; demonstrations of good will toward one another; and a shared understanding of the value of locally-oriented food. Through these mechanisms, local food operators are able to build a healthy, stable local food system, able to better resist the pressures of the conventional system in which it must continually operate. (shrink)

Growth in CSR-washing claims in recent decades has been dramatic in numerous academic and activist contexts. The discourse, however, has been fragmented, and still lacks an integrated framework of the conditions necessary for successful CSR-washing. Theorizing successful CSR-washing as the joint occurrence of five conditions, this paper undertakes a literature review of the empirical evidence for and against each condition. The literature review finds that many of the conditions are either highly contingent, rendering CSR-washing as a complex and fragile outcome. (...) This finding runs counter to the dominant perception in the general public, among activists, and among a vocal contingent of academics that successful CSR-washing is rampant. (shrink)

Recent discussions of mental causation have focused on three principles: (1) Mental properties are (sometimes) causally relevant to physical effects; (2) mental properties are not physical properties; (3) every physical event has in its causal history only physical events and physical properties. Since these principles seem to be inconsistent, solutions have focused on rejecting one or more of them. But I argue that, in spite of appearances, (1)–(3) are not inconsistent. The reason is that 'properties' is used in different senses (...) in the principles. In (1) and (3), 'properties' should be read as 'tropes' (properties here are particulars), while in (2) 'properties' should read as 'types' (properties here are universals or classes). Although mental types are distinct from physical types, every mental trope is a physical trope. This allows mental properties to be causally relevant to physical effects without violating the closed character of the physical world. (shrink)

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

It is widely agreed that reactive attitudes play a central role in our practices concerned with holding people responsible. However, it remains controversial which emotional attitudes count as reactive attitudes such that they are eligible for this central role. Specifically, though theorists near universally agree that guilt is a reactive attitude, they are much more hesitant on whether to also include shame. This paper presents novel arguments for the view that shame is a reactive attitude. The arguments also support the (...) view that shame is a reactive attitude in the sense that concerns moral accountability. The discussion thereby challenges both the view that shame is not a reactive attitude at all, suggested by philosophers such as R. Jay Wallace and Stephen Darwall, and the view that shame is a reactive attitude but does not concern moral accountability, recently defended by Andreas Carlsson and Douglas Portmore. (shrink)

According to the response-dependence view of moral responsibility, a person is morally responsible just in case, and in virtue of the fact that, she is an appropriate target for reactive attitudes. This paper raises a new puzzle regarding response-dependence: there is a mismatch between the granularity of the reactive attitudes and of responsibility facts. Whereas the reactive attitudes are comparatively coarse-grained, responsibility facts can be quite fine-grained. This poses a challenge for response-dependence, which seeks to ground facts about responsibility in (...) facts about the reactive attitudes. Specifically, reactive attitudes are not enough for grounding facts about degrees of moral responsibility. The responsedependence view thus requires significant revisions or supplementations. (shrink)

In order to address whether states can ever have the proper authority to militarily punish other international agents, I examine three attempts to justify punitive warfare from Augustine, Grotius and Locke for their relevance to both our contemporary international legal and political order and our contemporary security threats from sporadic terrorist or militant violence. Once a plausible model for a state’s valid authority to punish international agents is found, I will consider what punitive aims it can support and what challenges (...) such punitive warfare would have in satisfying the remaining jus ad bellum conditions. (shrink)

One will be hard-pressed to find a morally perfect agent in this world. It’s not that there aren’t any morally good people. It just takes a lot to be morally perfect. However, theists claim that God is morally perfect. (Atheists claim that if God exists, God is morally perfect.) Perhaps they are mistaken. This chapter presents an argument for the conclusion that God is not morally perfect. The argument depends upon two things: (1) the nature of the concept of moral (...) perfection, and (2) the modest theistic claim that God is involved in the affairs of the world. (shrink)

Circular denitions have primarily been studied in revision theory in the classical scheme. I present systems of circular denitions in the Strong Kleene and supervaluation schemes and provide complete proof systems for them. One class of denitions, the intrinsic denitions, naturally arises in both schemes. I survey some of the features of this class of denitions.

One of the most remarkable recent findings in developmental biology has been the colinear and homologous relationships shared between the Drosophila HOM‐C and vertebrate Hox homeobox gene complexes. These relationships pose the question of the functional significance of colinearity and its molecular basis. While there was much initial resistance to the validity of this comparison, it now appears the Hox/HOM homology reflects a broad degree of evolutionary conservation which has reawakened interest in comparative embryology and evolution.The evolutionary conservation of protein (...) motifs in many gene families (including those for growth factors, secreted and membrane bound signalling factors, adhesion molecules, cytoplasmic receptor kinases, nuclear receptors and transcription factors) has lead to speculation on the extent to which these homology relationships represent common developmental processes and underlying molecular mechanisms. Structural identities in a protein may indicate the biochemical/molecular function that a protein plays in cellular and developmental processes, without reflecting a conserved role in a cascade of developmental events. However, the analysis of genes encoding transcription factors has provided evidence suggesting that there are gene complexes in arthropods and vertebrates which are true homologues and which may share common roles in the specification of regional identity along embryonic A‐P axis. These genes comprise the Box/HOM‐C homeotic complexes. This review will detail some of the evidence for this proposed relationship and will speculate on the functional implications. (shrink)

Gilroy and Wade wrote 20 years ago that every policy presupposes an underlying moral argument that justifies it. This claim is now rarely contested: policy making is an inescapably moral enterprise...

Contemporary philosophers often construe mercy as a supererogatory notion or a matter of punitive leniency. Yet it is false that no merciful actions are obligatory. Further, it is questionable whether mercy is really about punitive leniency, either exclusively or primarily. As an alternative to these accounts, I consider the view offered by St. Thomas Aquinas. He rejects the claim that we are never obligated to be merciful. Also, his view of mercy is not restricted to legal contexts. For him, mercy's (...) scope is considerably broader, as it concerns a wide range of needs and hardships to which human beings are vulnerable. Such a view, I submit, affords a kind of normative depth lacking in many contemporary accounts. Unlike those views that construe mercy as either a supererogatory or legal concept, Aquinas's account illuminates mercy's obligatory nature and encourages us to make mercy a more salient fixture of our moral lives. (shrink)

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

This paper is an articulation and defense of a trope-bundle theory of material objects. After some background remarks about objects and tropes, I start the main defense in Section III by answering a charge frequently made against the bundle theory, namely that it commits a conceptual error by saying that properties are parts of objects. I argue that there’s a general and intuitive sense of “part” in which properties are in fact parts of objects. This leads to the question of (...) qualitative unity: in virtue of what are certain properties unified as parts of an object? In Section IV I defend an account of unity for complex material objects. It turns on the thesis that the properties of such objects are structural properties. After addressing some objections, I turn in Section V to the question of unity for simple material objects. Here a different and more radical account is needed, for simples, since they do not have structural properties, are not subsumed by the account of Section IV. I defend the view that a simple object just is a simple property, so that identity delivers the desired unity. (shrink)

Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.

Hegel opens the first book of his Science of Logic with the statement of a problem: “The beginning of philosophy must be either something mediated or something immediate, and it is easy to show that it can be neither the one nor the other, so either way of beginning finds its rebuttal.” Despite its significant placement, exactly what Hegel means in his expression of this problem and exactly what his solution to it is, remain unclear. -/- In this book, (...) class='Hi'>Robb Dunphy provides a detailed engagement with Hegel’s “problem of beginning”, locating it within Hegel’s account of significant approaches to the topic of beginning in the history of Western philosophy, as well as making an extended case for the influence of Pyrrhonian Scepticism on the beginning of Hegel’s Logic. Dunphy’s discussion of the various putative solutions that Hegel might be thought to put forward contributes to debates concerning Hegel’s views on the methodology of logic, the relation between his Logic and his Phenomenology of Spirit, and differences between his Encyclopaedia presentation of logic and that of his greater Science of Logic. -/- Hegel and the Problem of Beginning also functions as a critical commentary on Hegel’s essay, “With what must the beginning of the science be made?” which should be of interest to both researchers and students working on the opening of Hegel’s Logic. (shrink)

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and (...) model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course. (shrink)

The operational semantics of Urquhart is a deep and important part of the development of relevant logics. In this paper, I present an overview of work on Urquhart’s operational semantics. I then present the basics of collection frames. Finally, I show how one kind of collection frame, namely, functional set frames, is equivalent to Urquhart’s semilattice semantics.

Attention to care in modern society has fallen out of view as an ethos of personal responsibility, free markets, and individualism has been in the ascendant. The Liberalism of Care argues that contemporary liberalism is suffering from a crisis of care, manifest in a decaying sense of collective political responsibility for citizens' well- being and for the most vulnerable members of our communities. The book maintains that this practical crisis stems from a theoretical one. We have lost the political language (...) of care, which, prior the 19th century, was commonly used to express these dimensions of political life. To recover that language, Shawn C. Fraistat turns to three prominent philosophers-Plato, Jean-Jacques Rousseau, and William Godwin-who illuminate the varied ways caring language and caring values have structured core debates in the history of Western political thought about the proper role of government, as well as the rights and responsibilities of citizens. The Liberalism of Care presents a distinctive vision for our liberal politics where political communities and citizens can utilize the ethic and practices of care to face practical challenges. (shrink)

In this paper, an incompleteness theorem for modal extensions of relevant logics is proved. The proof uses elementary methods and builds upon the work of Fuhrmann.

This paper will develop ideas from [44]. We will generalize their work in two directions. First, we provide axioms for justification logics over the base logic B and show that the logic permits a proof of the internalization theorem. Second, we provide alternative frames that more closely resemble the standard versions of the ternary relational frames, as well as a more general approach to the completeness proof. We prove that soundness and completeness hold for justification logics over a wide variety (...) of base logics. Finally, we will strengthen Belnap’s variable sharing for the justification logic context, demonstrating that the justifications are properly relevant justifications. (shrink)

E.J. Lowe has recently proposed a model of mental causation on which mental events are emergent, thus exerting a novel, downward causal influence on physical events. Yet on Lowe's model, mental causation is at the same time empirically undetectable, and in this sense is "invisible". Lowe's model is ingenious, but I don't think emergentists should welcome it, for it seems to me that a primary virtue of emergentism is its bold empirical prediction about the long-term results of human physiology. Here (...) I'll try to restore emergentism's empirical status, but my broader aim is to use Lowe's model to explore some central topics in the mental causation debate, including the "causal closure" of the physical world and the nature of causal powers. (shrink)

Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and a (...) discussion of constant and variable domains. (shrink)

Functionalist accounts of blame have been rising in popularity. Proponents of the approach claim that, by defining blame in terms of its function or functions, their account has the advantage of being able to accommodate a wide range of attitudes and activities as blame; but their opponents question the extensional and explanatory adequacy of such accounts. This paper contributes to this burgeoning literature by presenting new challenges to the existing functionalist accounts. The fundamental problem, I shall argue, lies in the (...) fact that they all focus on using functions to define blame as a type of practice, but this strategy fails to pick out a unique moral-psychological type and does not offer a complete set of extension-determining criteria for the concept of blame. This amounts to a serious theoretical disadvantage. I consider various responses to the challenges throughout the paper, concluding that the best reply available to the functionalist theorist involves using functions to directly define blame tokens. (shrink)

Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highlight the philosophical differences as well as the different logics they support. We end with some (...) questions for future research. (shrink)

This interdisciplinary analysis presents an innovative examination of the nature of pride and humility, including all their slippery nuances and points of connection. By combining insights from visual art, literature, philosophy, religious studies, and psychology, this volume adapts a complementary rather than an oppositional approach to examine how pride and humility reinforce and inform one another. This method produces a robust, substantial, and meaningful description of these important concepts. The analysis takes into account key elements of pride and humility, including (...) self-esteem and self-confidence, human interconnectedness, power's function and limitations, and the role of fear. Shawn R. Tucker explores the many inflections of these terms, inflections that cast them by turns as positive or negative, emboldening or discouraging, and salubrious or vicious depending upon the context and manner in which they are used. (shrink)

This argument explores transcultural commonalities among civic arguments from divination in global antiquity. In the ancient world, proponents engaged in kisceral arguments deriving from divinatory signs: arguments ex divinatione regarding prospective civic action. Under ideal circumstances, their aim was to help insure that the collective action of human political organizations was aligned with the natural synchrony of the cosmos. Thus, civic arguments from divination were employed to anticipate the future’s course based on the signs the system produced holistically. In ancient (...) Mesopotamia, China, and Rome, divination was employed as a tool for aligning the order of human society to that of a conception of metaphysical or cosmic order. By comparing these argumentative examples and rationales, we see a broader context for the way in which humans made arguments toward political futurity outside more conventional syllogistic formulations concerning causation. Rather, the argumentative strategies of many ancient cultures embraced an understanding of the future as the logical outcome of a holistic dynamism in kairotic time. (shrink)